1. Methods of Cut-Elimination
المؤلف: / Matthias Baaz, Alexander Leitsch
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving,Proof theory,اثبات قضیه ماشینی,اثبات نظریه
رده :
QA76
,.
9
.
A96
,
B33
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)